Theoretical computer science - PDFSEARCH.IO - Document Search Engine

Theoretical computer science
Results: 9916

#	Item
541	Positive Active XML∗ Serge Abiteboul Omar Benjelloun Tova Milo Add to Reading List Source URL: www.cs.tau.ac.il Language: English - Date: 2004-03-24 05:00:00 Recursion Theoretical computer science Query languages Conjunctive query Database theory B-tree XQuery
542	Association Discovery in Two-View Data (Extended Abstract) Matthijs van Leeuwen Esther Galbrun Add to Reading List Source URL: www.patternsthatmatter.org Language: English - Date: 2016-01-15 06:48:18 Data mining Data management Theoretical computer science Association rule learning Database Lossless compression Algorithm Data analysis Relational data mining
543	Games for Extracting Randomness∗ Ran Halprin and Moni Naor† Department of Computer Science and Applied Mathematics Weizmann Institute of Science {ran.halprin, moni.naor}@weizmann.ac.il Add to Reading List Source URL: cups.cs.cmu.edu Language: English - Date: 2009-06-18 19:46:36 Randomness Random number generation Information theory Statistical randomness Theoretical computer science Randomness extractor Pseudorandomness Entropy Random sequence Extractor Min entropy Hardware random number generator
544	SimGrid MC 101 Getting Started with the SimGrid Model-Checker Da SimGrid Team September 1, 2015 Add to Reading List Source URL: simgrid.gforge.inria.fr Language: English - Date: 2015-09-29 06:27:30 Formal methods Logic in computer science Model checking Theoretical computer science Formal verification Safety Liveness Device driver synthesis and verification
545	Scheduling Black-box Mutational Fuzzing Maverick Woo Sang Kil Cha Samantha Gottlieb Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Software testing Theoretical computer science Fuzz testing Algorithm Software bug Randomized algorithm Online algorithm Knapsack problem American fuzzy lop
546	ISAAC 2016 Call For Papers th The 27 International Symposium on Algorithms and Computation December 12-14, 2016, Sydney, Australia http://www.it.usyd.edu.au/~visual/isaac2016 Add to Reading List Source URL: rp-www.cs.usyd.edu.au Language: English - Date: 2016-06-10 22:41:12 Theoretical computer science Peter Eades Algorithm International Symposium on Algorithms and Computation
547	A Self-Hosting Evaluator using HOAS A Scheme Pearl Eli Barzilay Northeastern University Add to Reading List Source URL: barzilay.org Language: English - Date: 2009-07-12 22:21:53 Lambda calculus Subroutines Functional programming Computability theory Theoretical computer science Higher-order abstract syntax Anonymous function Scheme Fixed-point combinator Combinatory logic Eval Hygienic macro
548	Efficient Secure Computation Optimization Raphael Urmoneit Florian Kerschbaum Technische Universität Add to Reading List Source URL: www.fkerschbaum.org Language: English - Date: 2013-08-28 05:10:42 Complexity classes Theoretical computer science Computational resources Mathematical logic Computability theory Algorithm Recursion NP DSPACE FO Exponential time hypothesis Time complexity
549	U UNPLUGGED Graph Paper Programming Lesson time: 20 Minutes Basic lesson time includes activity only. Introductory and Wrap-Up suggestions can be used to delve deeper when time allows. Add to Reading List Source URL: code.org Language: English - Date: 2016-08-19 22:19:30 Algorithm Mathematical logic Theoretical computer science Graph Graph coloring Pedagogy
550	CS: Introduction to the Design and Analysis of Computer Algorithms Prof. Qiang (Shawn) Cheng Department of Computer Science Southern Illinois University Carbondale Add to Reading List Source URL: www.cs.siu.edu Language: English - Date: 2016-01-25 00:01:16 Algorithms Operations research Mathematical logic Theoretical computer science Jon Kleinberg va Tardos Homework Introduction to Algorithms SL

UPDATE